              Setting Up Genode developing environment for Hyperbola OS

Hyperbola OS is an OS where all softwares are critically checked for freedom compatibility.
It is based on Arch Linux and is moving towards OpenBSD's kernel. I have created a package
for Hyperbola OS which should work for all Arch based OSes. Basically, you can install all 
dependencies and build a Genode toolchain automatically with the following command with 
root permissions:

! pacman -S genode-dev

Currently, follow the following steps to install Genode environment:

! git clone https://notabug.org/sagaracharya/hyperbola_os
! cd hyperbola_os/genode-dev
! makepkg

You can also use ../build.sh which builds in a chroot and is more secure in case all 
dependency packages are available at your OS repos.

If any dependency isn't satisfied, install it with pacman. If it doesn't exist in your OS,
check within hyperbola_os directory and proceed as follows,

! cd <package_name>
! ../build.sh OR makepkg

FOR SUDO
########

Above instructions work for doas utility which is default in Hyperbola OS.

# Edit genode-dev.install and remove " SUDO=doas"
# Update 2nd sha512sum of new genode-dev.install file using sha512sum utility on GNU/Linux 
in PKGBUILD
# makepkg

Report any issues on notabug.
